Generalised Whitehead product - PDFSEARCH.IO - Document Search Engine

Generalised Whitehead product
Results: 63

#	Item
11	DRAFT – TO APPEAR AT ICFPFully Abstract Compilation via Universal Embedding ∗ Max S. New William J. Bowman Add to Reading List Source URL: www.williamjbowman.com Language: English - Date: 2016-08-20 09:03:03 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Theoretical computer science Mathematical logic Differential topology Generalised Whitehead product Orbifold
12	The Variational Cluster Approximation R. Eder Karlsruhe Institute of Technology, Institut f¨ur Festk¨orperphysik Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-26 12:50:05 Constructible universe Mathematics Generalised Whitehead product Mathematical analysis Differential forms on a Riemann surface
13	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
14	The Variational Cluster Approximation Add to Reading List Source URL: www.cond-mat.de Language: English - Date: 2013-09-03 08:41:16 Set theory Mathematics Symbol Generalised Whitehead product
15	THE SATO–TATE DISTRIBUTION IN THIN PARAMETRIC FAMILIES OF ELLIPTIC CURVES ´ ` REGIS DE LA BRETECHE, Add to Reading List Source URL: www.ma.utexas.edu Language: English - Date: 2015-10-09 05:02:50 Mathematics Mathematical analysis Analytic number theory Elliptic curve Group theory Distribution SatoTate conjecture Symbol Prime number Generalised Whitehead product LindemannWeierstrass theorem
16	LNCSOn the <TEX>{hape l}</TEX>-Ary GCD-Algorithm in Rings of Integers Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:47:23 Mathematics Euclidean algorithm Symbol NC Constructible universe Greatest common divisor Probability distributions Generalised Whitehead product Indexed grammar
17	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
18	LOWER BOUNDS FOR RESONANCES OF INFINITE AREA RIEMANN SURFACES ´ ERIC ´ DMITRY JAKOBSON AND FRED NAUD Add to Reading List Source URL: fredericnaud.perso.sfr.fr Language: English - Date: 2010-02-11 06:12:49 Algebra Abstract algebra Mathematics Field theory Constructible universe Valuation ring NC Differential forms on a Riemann surface Generalised Whitehead product
19	INSTITUTE OF PHYSICS PUBLISHING INVERSE PROBLEMS Inverse Problems–1348 Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-05-06 06:48:04 Mathematical analysis Mathematics Differential forms Constructible universe Closed and exact differential forms Generalised Whitehead product Differential forms on a Riemann surface
20	623 Documenta Math. Rational Curves on Homogeneous Cones Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2005-01-03 11:59:40 Geometry Abstract algebra Algebra Algebraic geometry Divisor Projective variety Ample line bundle Vector bundle Root system Constructible universe Cone Generalised Whitehead product